Book Review: Introduction to mathematical logic.

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Book Review: “Introduction to Artificial Life”

Despite the popularity of artificial life over the last 15 years or so, as witnessed by the establishment of several international conferences on the subject and the birth of the Artificial Life Journal and similar publications, there has been a conspicuous lack of decent introductory texts on the subject. Notable exceptions include “Artificial Life: An Introduction” (Langton 1995), an eclectic...

متن کامل

Book Review: Mathematical Linguistics by Kornai, András

For readers of traditional textbooks such as that of Partee, ter Meulen, and Wall (1990), the term 'mathematical linguistics' denotes a rather narrowly circumscribed set of issues including automata theory, set theory, and lambda calculus, with maybe a little formal language theory thrown in. Kornai's contribution is refreshingly different in that he treats, in this relatively compact volume, p...

متن کامل

Book Review Introduction to Concurrency in Programming Languages

Parallel programming is mainstream scientific programming. A desktop workstation can easily have hundreds of pipelines. An undergraduate course in, say, computational physics should introduce the student to parallel solutions. What issues arise in parallel programming that don’t arise in sequential programming? How are the issues treated? And what text to use to explain the differences? For bon...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Bulletin of the American Mathematical Society

سال: 1945

ISSN: 0002-9904

DOI: 10.1090/s0002-9904-1945-08461-4